Improving safety of mechanization devices with cardan drives
نویسندگان
چکیده
منابع مشابه
Safety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملImproving Aviation Safety using Synthetic Vision System integrated with Eye-tracking Devices
. By collecting the data of eyeball movement of pilots, it is possible to monitor pilot’s operation in the future flight in order to detect potential accidents. In this paper, we designed a novel SVS system that is integrated with an eye tracking device, and is able to achieve the following functions:1) A novel method that is able to learn from the eyeball movements of pilots and preload or ren...
متن کاملImproving safety with information technology.
From the Division of General Medicine and Primary Care, Department of Medicine (D.W.B.), and the Department of Surgery (A.A.G.), Brigham and Women’s Hospital; the Center for Applied Medical Information Systems, Partners HealthCare System (D.W.B.); and Harvard Medical School (D.W.B., A.A.G.) — all in Boston. Address reprint requests to Dr. Bates at the Division of General Medicine and Primary Ca...
متن کاملSafety and Efficacy of Memantine in Improving Cognitive Function of Patients with Epilepsy
Background: The prevalence of cognitive impairment among patients with epilepsy is about 70%. There is still no approved medication for the treatment of this problem. Objectives: The present study aims to assess the safety and efficacy of memantine in improving the cognitive function of patients with epilepsy. Materials & Methods: This is a pilot, randomized, double-blind, placebo-controlle...
متن کاملStructural Embeddings: Mechanization with Method
The most powerful tools for analysis of formal speci cations are general-purpose theorem provers and model checkers, but these tools provide scant methodological support. Conversely, those approaches that do provide a well-developed method generally have less powerful automation. It is natural, therefore, to try to combine the better-developed methods with the more powerful general-purpose tool...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Agrarian Scientific Journal
سال: 2021
ISSN: 2587-9944,2313-8432
DOI: 10.28983/asj.y2021i4pp109-112